Satistiability problem
[计] 可满足性问题
🧩 词语组成解析
🗣️ 情景例句
I made a lunch date with him and his daughter weeks ago.
几星期前我约好和他以及他女儿共进午餐。
What is he doing today?
今天他在做些什么？
Can you see Gum Tree? It's only a small village.
你能找到它吗？它只是个小村庄。